Train robots to self-certify their safe operation
نویسندگان
چکیده
منابع مشابه
To Certify or Not to Certify
Definition: One who is involved in one or more aspects of clinical trials research. i.e.: Data collection, data analysis, case management of protocol, subject recruitment, human subject protection, informed consent development, adverse event reporting, construction and monitoring of CRF’s, drug/device accountability, protocol development, budget development, site monitoring/auditing, educatio...
متن کاملSelf - Reconfigurable Robots ― Cellular robots that transform their shapes ―
In this article, we review the concept of a cellular robot that is capable of reconfiguring itself. This “Self-Reconfigurable (SR) Robot” exemplifies a new trend in robotics. Indeed, we can now build various kinds of SR robots by off-the-shelf technologies of processors, actuators, and sensors. These SR robots, based on modern mechatronics, are still not as adaptable as the liquid metal robot i...
متن کاملTowards Rationally Safe Robots
This paper introduces the concept of rationally safe robot behavior as behavior which is safe with respect to a rational model of human behavior. We discuss how to model rational human behavior by fully accounting for a range of acceptable human variations. We propose modelling the system as a form of robust controller, and frame the robot’s goal as an optimal control problem where the human’s ...
متن کاملPromotion of Local to Global Operation in Train Control System
Railway interlocking system is a safety critical system. Its failure can cause the loss of human life, severe injuries and loss of money. Therefore the complication of this type of system requires advanced methodologies, which provide complete security and quality of a system. One way of achieving this goal is by using formal methods, which are mathematically based languages, techniques and too...
متن کاملAlpha Theory to Certify Roots
Observe that an approximate zero z is a very economical representation for a root ζ. With one step of Newton’s method we double the accuracy of the approximation. We want to find a criterion to determine whether a given number is an approximate zero or not. In the affirmative case, this criterion then becomes a certificate for the computed approximation. To formulate a criterion to determine if...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2018
ISSN: 0028-0836,1476-4687
DOI: 10.1038/d41586-018-00646-w